1. روشهای اثبات
پدیدآورنده: ولمن، دانیل ج Velleman, Daniel J .
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: منطق ریاضی,athematicalB and Symbolic ,Logic,ریاضیات,athematicsB
رده :
QA
۹
/
و
۸
ر
۹
2. مفهومنگاشت: یک زبان فرمولی اندیشه محض ساختهشده براساس الگوی زبان فرمولی علم حساب به ضمیمه شرحی از آنتونی کنی
پدیدآورنده: فرگه، گوتلوب Frege, Gottlob ۱۸۴۸ - ۱۹۲۵م
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: ریاضیات -- فلسفه,athematicsB -- Philosophy,منطق ریاضی,athematicalB and Symbolic ,Logic
رده :
Q
A
۹
/
ف
۴
م
۷